SYSTEMATIC SYNTHESIS OF CLEANING PROCEDURES FOR PIPELINE NETWORKS USING PETRI NETS
نویسندگان
چکیده
منابع مشابه
Systematic Synthesis of Cleaning Procedures for Pipeline Networks Using Petri Nets
Cleaning pipeline networks is a routine operation in almost every chemical plant. Our aim is to develop a systematic strategy to generate the needed operating procedures with Petri-net models. Specifically, the proper materialtransfer routes are selected on the basis of the Petri-net representation of all possible paths. The equipment models are then attached to this path model according to net...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملDesigning Control Logic for Counterflow Pipeline Processor Using Petri Nets
Abstract. This paper approaches the problem of synthesising an asynchronous control circuit for a stage of the Sproull Counterflow pipeline processor (CFPP) as an exercise in exploiting formal techniques available for Petri nets. We first synthesise a Petri net model of the CFPP stage control from its original “five-state-five-event” description due to Charles Molnar. Secondly, we implement tha...
متن کاملDesigning Control Logic for Counterrow Pipeline Processor Using Petri Nets
This paper approaches the problem of implementing an asynchronous control for a stage of the Sproull Counterrow pipeline processor (CFPP) as an exercise in combining two synthesis techniques recently developed for Petri nets. We rst synthesise a number of Petri net models of the CFPP stage control from its original \\ve-state-ve-event" description due to C. Molnar. Secondly, we implement these ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2005
ISSN: 1474-6670
DOI: 10.3182/20050703-6-cz-1902.00351